f compose p1 == g compose p1